$\forall$$n$:$\mathbb{N}$, $i$:\{0$\ldots\,$$n$\}. choose($n$;$i$) $\in$ $\mathbb{N}$